Q02 verification
--------------------------------------------------------------------------
symbolic: MSE(n) - (A/n + B n + C) = 0
symbolic: stationary point sqrt(2*q2 + 12*sigma2)/(2*sqrt(q2))  (A = sigma^2 + q^2/6, B = q^2/3)
symbolic: second derivative positive: True

Grid optima (n = 1..10000):
       q   n*(continuous)  best integer     RMSE*  RMSE(10000)
  0.0000              inf         10000   0.01000      0.01000
  0.0030          577.351           577   0.05889      0.17351
  0.0100          173.207           173   0.10769      0.57748
  0.0300           57.739            58   0.18733      1.73221

Simulation vs exact, q = 0.01, 12000 paths:
      n   exact MSE   simulated  rel. error
      1    1.000100    1.028240       2.81%
     10    0.100385    0.100041      -0.34%
    100    0.013384    0.013116      -2.00%
    173    0.011597    0.011609       0.10%
   1000    0.034383    0.034999       1.79%
  10000    0.333483    0.345335       3.55%

MSE strictly decreasing when q = 0: True
Published check q=0.01: n*=173, RMSE*=0.107690, RMSE(10000)=0.57748, ratio=5.36
